Local programming - PDFSEARCH.IO - Document Search Engine

Local programming
Results: 648

#	Item
191	Correctness Considerations in CLP(FD) Systems Dissertation submitted in partial fulfillment of the requirements for the degree of Doktor der technischen Wissenschaften by Add to Reading List Source URL: www.logic.at Language: English - Date: 2014-05-30 11:35:42 Computer programming Programming paradigms ECLiPSe Constraint logic programming CLP Prolog Local consistency Constraint satisfaction problem Logic programming Constraint programming Software engineering Declarative programming
192	Monotone Submodular Maximization over a Matroid via Non-Oblivious Local Search Yuval Filmus and Justin Ward November 25, 2012 Abstract We present an optimal, combinatorial 1 − 1/e approximation algorithm for monotone s Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2012-11-25 12:04:59 Submodular set function Order theory Matroid Linear programming Greedy algorithm XTR Monotonic function Greedoid Ordinal optimization Mathematics Mathematical analysis Matroid theory
193	Microsoft Word - n1198.doc Add to Reading List Source URL: www.open-std.org Language: English - Date: 2006-11-28 18:37:44 C programming language C++ Cross-platform software Threads C++11 C99 C dynamic memory allocation C preprocessor Thread-local storage Computing Computer programming Software engineering
194	High Performance MPI-2 One-Sided Communication over InfiniBand Weihang Jiang Jiuxing Liu Hyun-Wook Jin Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2004-02-02 15:06:29 Application programming interfaces Computer memory Supercomputers Message Passing Interface Remote direct memory access LAM/MPI InfiniBand MPICH Zero-copy Computing Parallel computing Local area networks
195	Capacity and Capability Computing using Legion Anand Natrajan, Marty Humphrey, Andrew Grimshaw Department of Computer Science, University of Virginia, Charlottesville, VA 22904 {anand, humphrey, grimshaw}@cs.virginia.edu Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 2001-05-21 13:41:34 Parallel computing Programming language implementation Application programming interfaces Message Passing Interface Fault-tolerant computer systems Local area networks Resource fork Executable Library Computing Concurrent computing Software
196	Affiche-annonce MAIRY Jean-Baptiste Add to Reading List Source URL: www.uclouvain.be Language: English - Date: 2015-03-31 07:41:40 Constraint satisfaction problem Constraint satisfaction Constraint Constraint programming Computing Local consistency
197	Millions of Little Minions: Using Packets for Low Latency Network Programming and Visibility Vimalkumar Jeyakumar1 , Mohammad Alizadeh2 , Yilong Geng1 , Changhoon Kim3 , David Mazières1 1 Stanford Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2014-08-24 01:46:17 Networking hardware Computer networking Local area networks Packet Processing Throughput Latency Transmission Control Protocol Firewall Network processor Computing Network architecture Network performance
198	Gecode an open constraint solving library Guido Tack Programming Systems Lab, Saarland University, Germany OSSICP´08 workshop at CP-AI-OR´08, May 22, Paris Add to Reading List Source URL: www.gecode.org Language: English - Date: 2009-11-26 06:35:49 Royal Institute of Technology GUIDO music notation Constraint satisfaction problem Local consistency Tack Software Constraint programming Gecode Computing
199	Neighborhood Portfolio Approach for Local Search applied to Timetabling Problems∗ Luca Di Gaspero and Andrea Schaerf , Dipartimento di Ingegneria Elettrica, Gestionale e Meccanica U Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:16 Mathematics Constraint programming Mathematical optimization Local search Algorithm Tabu search Constraint satisfaction problem Search algorithm Simulated annealing Operations research Applied mathematics Numerical analysis
200	Higher-Order and Symbolic Computation, 18, 245–269, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands. Selectors Make Set-Based Analysis Too Hard PHILIPPE MEUNIER Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-28 16:38:29 Lambda calculus Constraint programming Type theory Theoretical computer science Scheme Lambda System F Local consistency Constraint logic programming Programming language theory Software engineering Computer science

UPDATE